$\forall$$g$:GrpSig. $\sim$ $\in$ $\mid$$g$$\mid\rightarrow\mid$$g$$\mid$